1. Complexite et decidabilite

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Complexes,، Decidability )Mathematical logic(

Classification :
QA
608
.
D4

2. Cornerstones of undecidability /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration

Classification :
QA9
.
63
.
R69
1994

3. Countable Boolean algebras and decidability /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algebra, Boolean,Decidability (Mathematical logic)

Classification :
QA10
.
3
.
G6613
1997

4. Decision problems for equational theories of relation algebras

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Relation algebras,، Decidability )Mathematical logic(

Classification :
QA
3
.
A475
no
.
604

5. Deducibility and decidability

Author:

Library: Central Library and Documentation Center (Kerman)

Subject: ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(

Classification :
BC
135
.
G495
1990

6. Deducibility and decidability

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(

Classification :
BC
135
.
G5

7. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(

Classification :
QA
3
.
A475
no
.
1187

8. Reachability Problems

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها

Classification :
E-Book
,

9. Reachability problems :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

Classification :
QA76
.
76
.
V47

10. Reachability problems :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7

Classification :
QA76
.
76
.
V47
R58
2010

11. Reachability problems

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses

Classification :
QA76
.
76
.
V47
R58
2009

12. Reachability problems

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses

Classification :
QA76
.
76
.
V47
R6
2012eb

13. Reachability problems :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.

Classification :
QA76
.
76
.
V47
P376
9999

14. Recursive functions and metamathematics :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.

15. The classical decision problem

Author:

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Decidability (Mathematical logic)

Classification :
QA
9
.
65
.
B64
1997

16. The classical decision problem

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Decidability )Mathematical logic(

Classification :
QA
9
.
65
.
B62

17. The classical decision problem

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Decidability )Mathematical logic(

Classification :
QA
9
.
65
.
B64
1997

18. The classical decision problem /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Decidability (Mathematical logic)

Classification :
QA9
.
65
.
B64
1997

19. The classical decision problem

Author:

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Decidability )Mathematical logic(

Classification :
QA
9
.
65
.
B64
1997

20. Thinking about acting: logical foundations for rational decision making

Author:

Library: Special Library of University of Religions (Qom)

Subject: ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(

Classification :
QA
279
.
4
.
P65
2006